В который раз убеждаюсь, как важно для теоретика владеть регулярным методов отлова собственных ошибок.

Вот одно и то же вычисление двумя разными методами, каждый на несколько страниц. Ответ разный. Просто так ошибку не видишь, хоть и проверил всё. Начинаешь применять метод -- выкидываешь "правильные" куски, оставляя те, в которых расхождение. Упрощаешь всё по максимуму. Стараешься "запарадоксить" вывод, т.е. сделать расхождение наиболее вопиющим. Заставляешь два разных метода пересекаться в каких-нибудь промежуточных ответах. Локализуешь ошибку в пределах полстраницы. Проверяешь снова каждый шаг и находишь тот неверный, который был сделан в уме на основании предыдущего опыта, но в этой ситуации не годится. День ушел на это.